(progn
 (not 1))
